J. -R. Abrial: ძიება ვებგვერდზე Z-Library

შეწირულობა 15 სექტემბერს 2024 – 1 ოქტომბერს 2024 თანხის შეგროვების შესახებ

თავისუფალი წვდომა ცოდნასა და კულტურასთან.

შეწირულობა 15 სექტემბერს 2024 – 1 ოქტომბერს 2024

Z-Library - ერთ-ერთი უდიდესი ონლაინ ბიბლიოთეკა მსოფლიოში, რომელშიც ინახება მეტი 17,000,000 წიგნი და 84,837,000 სტატია. ჩვენ ვისწრაფვით ლიტერატურა ხელმისაწვდომი გახდეს თითოეულისთვის დღეს (15 სექტემბერს 2024) ჩვენ ვიწყებთ შემოწირულობათა დამატებით შეგროვებას პროექტის მხარდასაჭერად და განვითარების ხელშესაწყობად.

ასევე, ულიმიტო ჩამოტვირთვები (შემოწირულების დღიდან 31 დღე) ხელმისაწვდომი იქნება ყველა მომხმარებლისთვის, ვინც შემოწირულობას ჩარიცხავს თანხის მოკრების პერიოდში, 1 ოქტომბერს 2024- მდე.

თანხის შეგროვების შესახებდეტალურად

მხარდაჭერა

გამოყენებულია ფილტრები

ზუსტი შესაბამისობა

ზუსტი შესაბამისობა

1

Couleurs au Point de croix. Plus de 1000 motifs à broder en monochrome

Couleurs au Point de croix. Plus de 1000 motifs à broder en monochrome

Annick Abrial, Marie-Anne Réthoret-Mélin, Perrette Samouïloff

წელი:

2010

ენა:

french

ფაილი:

PDF, 104.90 MB

0 / 0

french, 2010

2

Event-B建模系统和软件工程(Event-B modeling)

Event-B建模系统和软件工程(Event-B modeling)

人民邮电出版社

作者：Jean-Raymond Abrial；裘宗燕译

წელი:

2019

ენა:

chinese

ფაილი:

PDF, 64.58 MB

0 / 4.0

chinese, 2019

3

Modeling in Event-B: System and Software Engineering

Modeling in Event-B: System and Software Engineering

Cambridge University Press

Jean-Raymond Abrial

წელი:

2010

ენა:

english

ფაილი:

PDF, 3.01 MB

0 / 0

english, 2010

4

Rose: des centaines de motifs à broder au point de croix

Rose: des centaines de motifs à broder au point de croix

Abrial, Annick, Roy, Sonia, Besse, Fabrice, Samouïloff, Perrette, Réthoret-Mélin, Marie-Anne

წელი:

2011

ენა:

french

ფაილი:

CBR, 24.96 MB

0 / 0

french, 2011

5

The B-Book: Assigning Programs to Meanings

The B-Book: Assigning Programs to Meanings

Cambridge University Press

წელი:

2005

ენა:

english

ფაილი:

PDF, 13.00 MB

0 / 0

english, 2005

6

Petites histoires des grandes chansons - Volume 3

Petites histoires des grandes chansons - Volume 3

Editions du Rocher

Abrial Laurent, Lecoeuvre Fabien

წელი:

2017

ენა:

french

ფაილი:

EPUB, 1.30 MB

0 / 0

french, 2017

7

Rigorous Development of Complex Fault-Tolerant Systems

Rigorous Development of Complex Fault-Tolerant Systems

Springer-Verlag Berlin Heidelberg

Jean-Raymond Abrial (auth.), Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna (eds.)

წელი:

2006

ენა:

english

ფაილი:

PDF, 4.94 MB

0 / 0

english, 2006

8

L'Alsace en rouge et blanc

L'Alsace en rouge et blanc

Abrial, Annick, Malissen, Marie, Malissen, Camille

წელი:

2008

ენა:

french

ფაილი:

PDF, 17.95 MB

0 / 0

french, 2008

9

Modeling in Event-B : system and software engineering

Modeling in Event-B : system and software engineering

Cambridge University Press

Jean-Raymond Abrial

წელი:

2010

ენა:

english

ფაილი:

PDF, 2.05 MB

0 / 0

english, 2010

10

Dicionário Caboverdiano-Português: Variante de Santiago

Dicionário Caboverdiano-Português: Variante de Santiago

Nicolas Quint-Abrial

წელი:

1998

ენა:

portuguese

ფაილი:

PDF, 17.76 MB

0 / 0

portuguese, 1998

11

Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings

Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings

Springer-Verlag Berlin Heidelberg

Jean-Raymond Abrial, Dominique Cansell (auth.), David Basin, Burkhart Wolff (eds.)

წელი:

2003

ენა:

english

ფაილი:

PDF, 2.93 MB

0 / 0

english, 2003

12

Theoretical Aspects of Computing - ICTAC 2008: 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings

Theoretical Aspects of Computing - ICTAC 2008: 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

J. -R. Abrial, Thai Son Hoang (auth.), John S. Fitzgerald, Anne E. Haxthausen, Husnu Yenigun (eds.)

წელი:

2008

ენა:

english

ფაილი:

PDF, 5.71 MB

0 / 0

english, 2008

13

The B-book : assigning programs to meanings / [...] XD-US

The B-book : assigning programs to meanings / [...] XD-US

Cambridge [u.a.] Cambridge Univ. Press

Jean-Raymond Abrial

წელი:

1996

ენა:

english

ფაილი:

DJVU, 6.18 MB

0 / 0

english, 1996

14

Petites histoires des grandes chansons

Petites histoires des grandes chansons

Editions du Rocher

Abrial Laurent, Lecoeuvre Fabien

წელი:

2017

ენა:

french

ფაილი:

EPUB, 605 KB

0 / 0

french, 2017

15

Osons la fragilité

Osons la fragilité

Geneviève ABRIAL

წელი:

2015

ენა:

french

ფაილი:

EPUB, 16.82 MB

0 / 0

french, 2015

16

Petites histoires des grandes chansons

Petites histoires des grandes chansons

Editions du Rocher

Abrial Laurent, Lecoeuvre Fabien

წელი:

2017

ენა:

french

ფაილი:

EPUB, 605 KB

0 / 0

french, 2017

17

Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings

Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Thai Son Hoang, Hironobu Kuruma, David Basin, Jean-Raymond Abrial (auth.), Michael Leuschel, Heike Wehrheim (eds.)

წელი:

2009

ენა:

english

ფაილი:

PDF, 10.61 MB

0 / 0

english, 2009

18

Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings

Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Jean-Raymond Abrial (auth.), Einar Broch Johnsen, Luigia Petre (eds.)

წელი:

2013

ენა:

english

ფაილი:

PDF, 7.94 MB

0 / 0

english, 2013

19

Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings

Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Thai Son Hoang, Hironobu Kuruma, David Basin, Jean-Raymond Abrial (auth.), Michael Leuschel, Heike Wehrheim (eds.)

წელი:

2009

ენა:

english

ფაილი:

PDF, 5.05 MB

0 / 0

english, 2009

20

Theoretical Aspects of Computing - ICTAC 2008: 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings

Theoretical Aspects of Computing - ICTAC 2008: 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

J. -R. Abrial, Thai Son Hoang (auth.), John S. Fitzgerald, Anne E. Haxthausen, Husnu Yenigun (eds.)

წელი:

2008

ენა:

english

ფაილი:

PDF, 9.77 MB

0 / 0

english, 2008

21

Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control

Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control

Springer-Verlag Berlin Heidelberg

Jean-Raymond Abrial, Egon Börger (auth.), Jean-Raymond Abrial, Egon Börger, Hans Langmaack (eds.)

წელი:

1996

ენა:

english

ფაილი:

DJVU, 4.81 MB

0 / 0

english, 1996

22

Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

Springer-Verlag Berlin Heidelberg

Jean-Raymond Abrial (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)

წელი:

2013

ენა:

english

ფაილი:

PDF, 5.34 MB

0 / 0

english, 2013

23

Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings

Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

J. -R. Abrial (auth.), Michael Butler, Michael G. Hinchey, María M. Larrondo-Petrie (eds.)

წელი:

2007

ენა:

english

ფაილი:

PDF, 4.28 MB

0 / 0

english, 2007

24

Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday

Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday

Springer-Verlag Berlin Heidelberg

Sylvain Boulmé (auth.), Jean-Raymond Abrial, Uwe Glässer (eds.)

წელი:

2009

ენა:

english

ფაილი:

PDF, 3.05 MB

0 / 0

english, 2009

25

Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings

Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings

Springer-Verlag Berlin Heidelberg

Jean-Raymond Abrial, Dominique Cansell (auth.), David Basin, Burkhart Wolff (eds.)

წელი:

2003

ენა:

english

ფაილი:

PDF, 1.79 MB

0 / 0

english, 2003

26

Rigorous Development of Complex Fault-Tolerant Systems

Rigorous Development of Complex Fault-Tolerant Systems

Springer-Verlag Berlin Heidelberg

Jean-Raymond Abrial (auth.), Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna (eds.)

წელი:

2006

ენა:

english

ფაილი:

PDF, 4.60 MB

0 / 0

english, 2006

27

B’98: Recent Advances in the Development and Use of the B Method: Second International B Conference Montpellier, France, April 22–24, 1998 Proceedings

B’98: Recent Advances in the Development and Use of the B Method: Second International B Conference Montpellier, France, April 22–24, 1998 Proceedings

Springer-Verlag Berlin Heidelberg

Jean -Raymond Abrial (auth.), Didier Bert (eds.)

წელი:

1998

ენა:

english

ფაილი:

PDF, 4.86 MB

0 / 0

english, 1998

28

Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday

Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday

Springer-Verlag Berlin Heidelberg

Sylvain Boulmé (auth.), Jean-Raymond Abrial, Uwe Glässer (eds.)

წელი:

2009

ენა:

english

ფაილი:

PDF, 3.90 MB

0 / 0

english, 2009

29

Mathematics of Program Construction: 375th Anniversary of the Groningen University International Conference Groningen, The Netherlands, June 26–30, 1989 Proceedings

Mathematics of Program Construction: 375th Anniversary of the Groningen University International Conference Groningen, The Netherlands, June 26–30, 1989 Proceedings

Springer-Verlag Berlin Heidelberg

J. R. Abrial (auth.), J. L. A. van de Snepscheut (eds.)

წელი:

1989

ენა:

english

ფაილი:

DJVU, 3.34 MB

0 / 0

english, 1989

30

Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday

Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday

Springer-Verlag Berlin Heidelberg

Sylvain Boulmé (auth.), Jean-Raymond Abrial, Uwe Glässer (eds.)

წელი:

2009

ენა:

english

ფაილი:

PDF, 3.13 MB

0 / 0

english, 2009

31

B’98: Recent Advances in the Development and Use of the B Method: Second International B Conference Montpellier, France, April 22–24, 1998 Proceedings

B’98: Recent Advances in the Development and Use of the B Method: Second International B Conference Montpellier, France, April 22–24, 1998 Proceedings

Springer-Verlag Berlin Heidelberg

Jean -Raymond Abrial (auth.), Didier Bert (eds.)

წელი:

1998

ენა:

english

ფაილი:

DJVU, 4.19 MB

0 / 0

english, 1998